退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:高阶动态类型语言中大型代码库的语义导航
S. Alexander Spoon; Olin Shivers;
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:类逻辑语言的分离逻辑打字语义和高阶框架规则
机译:基于权限的所有权:以高阶类型语言封装状态
机译:使用高阶动态类型语言对大型代码库进行语义导航
机译:并发系统和语言的静态和动态形式分析:一种基于语义的方法。
机译:语义变化的频率模式:基于语料库的语言变化的近临界动态证据
机译:大型代码库以高阶,动态类型语言的语义导航
机译:以静态类型的编程语言生成代码,以动态地基于数组的语言
机译:动态类型基于数组的语言的静态编程语言中的生成代码
机译:用于将以动态类型语言编写的源代码转换为以静态类型语言编写的目标代码并执行目标代码的方法,计算机程序和计算机系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。